La prueba matemática ha generado un archivo de texto de 200 terabytes, el equivalente a todos los libros de la Biblioteca del Congreso digitalizados. En total, a un ser humano le hubiera llevado 10 millones de años hallar la solución.
Por Juan Carballo
Ciudad de México, 12 julio (SinEmbargo/TICbeat).- Tres científicos especializados en computación han construido el ordenador más grande y potente hasta el momento para resolver un problema matemático que ha permanecido sin respuesta durante 35 años.
La prueba matemática ha generado un archivo de texto de 200 terabytes, el equivalente a todos los libros de la Biblioteca del Congreso digitalizados. En total, a un ser humano le hubiera llevado 10 millones de años hallar la solución.
La cuestión matemática que han resuelto los tres investigadores se conoce como la “bicoloración de ternas pitagóricas”. Este problema fue formulado en la década de 1980 y plantea la siguiente pregunta: ¿es posible colorear cada número entero positivo en azul o rojo de manera que ningún triplete de números enteros (a, b y c) que cumpla con la ecuación de Pitágoras (a² + b = c ²) tenga el mismo color?
El equipo de científicos partían de una hipótesis negativa y demostraron que hasta el 7824 era posible que las ternas tuviesen el mismo color, no así a partir del 7825. “Para probar esto, los investigadores no tienen más remedio que hacer una lista y comprobar todas las combinaciones posibles” explica Laurent Simon, del laboratorio de Burdeos.
LOS 500 SUPERORDENADORES MÁS RÁPIDOS DEL MUNDO
Se trata de una tarea inaccesible para un ser humano pero perfectamente asumible por un ordenador. El superordenador de la Universidad de Texas, que integra 800 procesadores, generó más de 200 terabytes de datos durante la prueba. “Luegos, los investigadores comprobaron las evidencias, demasiado largas como para ser interpretadas por un humano, utilizando un programa informático independiente” explicó Simon.
En 1976, un ordenador tardó 1200 horas en demostrar la validez de un teorema según el cual, con solo cuatro colores, se podían teñir todos los países de un mapa sin que dos regiones adyacentes tuviesen el mismo color.
Este tipo de ordenadores se han convertido en una herramienta fundamental para las matemáticas. Ya en el 2014 unas pruebas similares que pretendían resolver el dilema de las ternas pitagóricas generó 13 gigabytes de información. En definitiva, detrás de esta revolución computacional se esconde una nueva generación de algoritmos altamente eficaces que pueden resolver todo tipo de cálculos.
En la actualidad, Microsoft utiliza estos algoritmos para probar sus nuevos sistemas operativos y detectar errores en el software. De la misma forma, Intel emplea estas máquinas para testear sus microprocesadores. Pero las aplicaciones van mucho más allá y cada día se utilizan más en la robótica, bioinformática o en la criptografía, por ejemplo.
